1

MMC: the Mono Model Checker

Year:
2007
Language:
english
File:
PDF, 269 KB
english, 2007
2

Managing the verification trajectory

Year:
2003
Language:
english
File:
PDF, 294 KB
english, 2003